x : v == <[x],x.v> 

latex

---

clarification:

x : v == <x.nil,x.v> 

latex

FDL editor aliases

fpf-single